退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用BIP框架进行基于组件的严格系统设计
Basu, Ananda; Bensalem, Saddek; Bozga, Marius; Combaz, Jacques; Jaber, Mohamad; Nguyen, Thanh-Hung; Sifakis, Joseph;
机译:使用BIP框架进行严格的基于组件的系统设计
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:严格的系统设计:BIP方法
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:基于组件的神经元离子通道动力学仿真的FPGA设计框架
机译:基于组件的严格系统设计使用BIp框架
机译:基于组件的物理系统设计方法和系统
机译:用于基于组件的体系结构设计的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。